Proof calculus - PDFSEARCH.IO - Document Search Engine

Proof calculus
Results: 476

#	Item
41	General Young’s inequality for real numbers 27 April 2006 Abstract This text contains the statement and proof of Young’s inequality for real numbers and a generalization of it. Its generalization has a nice graphical Add to Reading List Source URL: canizo.org Language: English - Date: 2015-01-23 17:44:04 Operator theory Spectral theory Harmonic analysis Integral calculus Integration by parts Convex function Spectral theory of ordinary differential equations Beltrami equation
42	1 Almost Affine Lambda Terms Makoto Kanazawa National Institute of Informatics, Tokyo, Japan Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2014-08-19 13:21:10 Proof theory Algebraic geometry Computability theory Lambda calculus Theoretical computer science Sequent Valuation CurryHoward correspondence Quantum group
43	I NTRODUCTION A typed calculus of PRA Typing translation Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2014-05-13 11:20:35 Type theory Logic in computer science Proof theory Dependently typed programming
44	G¨odel’s functional interpretation and its use in current mathematics Ulrich Kohlenbach Fachbereich Mathematik Technische Universit¨ at Darmstadt Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2009-02-16 11:06:50 Proof theory Constructivism Intuitionism Metalogic Predicate logic Primitive recursive functional Realizability Substitution First-order logic Interpretation Propositional calculus Quantifier
45	MUltlog and MUltseq Reanimated and Married M. Baaz1 C.G. Ferm¨ uller1 1 Add to Reading List Source URL: www.preining.info Language: English - Date: 2005-04-12 18:14:31 Proof theory Sequent calculus Sequent First-order logic Propositional calculus Intuitionistic logic Many-valued logic Cut-elimination theorem Method of analytic tableaux Mathematical logic Rule of inference Boolean algebra
46	Towards a Proof Theory for Multi-Agent Logics with Irrevocable Strategies 1 ˚ Thomas Agotnes , Valentin Goranko2 , and Wojciech Jamroga3 Add to Reading List Source URL: folk.uib.no Language: English - Date: 2007-07-31 07:08:31 Logic Mathematical logic Philosophy Model theory Formal languages Logical truth Propositional calculus Linear temporal logic Temporal logic Interpretation Substitution operator
47	TABLEAUX 2011 Workshops, Tutorials, and Short Papers Martin Giese and Roman Kuznets (editors) Technical Report IAM, 4–8 JulyInstitut fur Add to Reading List Source URL: www.tableaux11.unibe.ch Language: English Logic Mathematical logic Theoretical computer science Automated theorem proving Proof theory Methods of proof International Workshop on First-Order Theorem Proving Melvin Fitting Natural deduction Sequent calculus Modal logic Method of analytic tableaux
48	Introduction Calculus Proof technique Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2012-10-01 07:25:52
49	Introduction Calculus Proof technique Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2012-10-01 07:25:58
50	Logical- and Meta-Logical Frameworks Lecture 1 Carsten Sch¨ urmann August 3, 2006 Add to Reading List Source URL: www.itu.dk Language: English - Date: 2006-08-09 04:38:35 Logic in computer science Type theory Proof theory Classical logic Semantics Logical framework Propositional calculus Intuitionistic logic Negation Logic Mathematical logic Judgment

UPDATE